Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
701	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
702	MARMED, présentation du projet Site web : http://www.marmedproject.eu/ Development of innovating biomedical products from marine resources valorisation Type de programme :INTERREG IVB Espace Atlantique Participants LEMA Add to Reading List Source URL: www-iuem.univ-brest.fr Language: English - Date: 2013-10-07 08:18:56 Marxist theory Valorisation Fishing
703	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
704	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
705	Examination Appeal Form Please read this form carefully, complete it and return it with the relevant documents to the Examinations Office, NUI Galway. Name: _________________________________ Address: __________________ Add to Reading List Source URL: www.nuigalway.ie Language: English - Date: 2015-05-14 08:32:17 European Patent Organisation Program analysis Type system Type theory
706	Hiroaki Kitano JST-ETHZ Joint WSAbstract of Presentation Note: This paper should be typed in “Times New Roman” of 12pt. Presentation Title(Should be no more than 20 words): Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2009-10-01 01:45:34 Genetics Evolutionary biology Systems science Knowledge Evolutionary developmental biology Robustness System Control theory Type system Cybernetics Systems theory Science
707	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language
708	V erified Computing in Homological Algebra A Journey Exploring the Power and Limits of Dependent Type Theory Arnaud Spiwack Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:25 Poetry Jabberwocky Coq Thierry Coquand Vorpal sword Homological algebra Alice in Wonderland Nonce words Literature
709	Learning styles and pedagogy in post-16 learning: A systematic and critical review Add to Reading List Source URL: sxills.nl Language: English - Date: 2012-08-03 13:29:26 Learning theory Learning styles Pedagogy E-learning Cognitive style Herrmann Brain Dominance Instrument Myers-Briggs Type Indicator Education Educational psychology Attention-deficit hyperactivity disorder
710	Theory, policy and practice: The Diploma and its Pedagogy. Julian Stanley and Trisha Fettes, CEI, University of Warwick This paper considers how a contemporary reform process in England – the development of a new type Add to Reading List Source URL: www2.warwick.ac.uk Language: English - Date: 2014-03-14 19:18:46 Constructivism 14–19 Diploma Experiential learning E-learning Learning theory Learning styles Learning Learning platform Blended learning Education Educational psychology Situated learning

UPDATE